Consistance duale et réseaux non-binaires
نویسنده
چکیده
La Consistance Duale (DC) a été introduite par Lecoutre, Cardon et Vion dans [10, 11]. Il s’agit d’une nouvelle manière de gérer la Consistance de Chemin (PC), à la définition plus simple et permettant d’introduire de nouvelles approximations et algorithmes particulièrement efficaces en pratique. Un des points intéressants de cette définition est la possibilité de généraliser PC aux réseaux de contraintes (CNs) non-binaires, tout en conservant la nature des contraintes initiales du problème, et en exploitant leurs propagateurs. Cette généralisation permet notamment de voir la Consistance Duale/de Chemin comme un moyen simple et efficace de générer des contraintes binaires implicites directement à partir des propagateurs des contraintes du problème. Cet article montre les implications en termes de complexité de cette généralisation. Des résultats expérimentaux préliminaires montrent le potentiel pratique d’une génération à la volée de telles contraintes implicites, et met en évidence les faiblesses potentielles de la méthode. Des idées prospectives amenées à gérer ces faiblesses sont alors proposées.
منابع مشابه
Co-clustering de données mixtes à base des modèles de mélange
Résumé. La classification croisée (co-clustering) est une technique non supervisée qui permet d’extraire la structure sous-jacente existante entre les lignes et les colonnes d’une table de données sous forme de blocs. Plusieurs approches ont été étudiées et ont démontré leur capacité à extraire ce type de structure dans une table de données continues, binaires ou de contingence. Cependant, peu ...
متن کاملDe AC3 à AC7
RÉSUMÉ. La consistance d’arc joue un rôle central dans la résolution de Problèmes de Satisfaction de Contraintes (CSPs). Récemment, un même algorithme appelé AC2001 et AC3.1 a été présenté indépendamment par leurs auteurs respectifs. Cet algorithme qui est considéré comme une amélioration de AC3 a l’avantage d’être simple (à implémenter) et compétitif. Cependant, il ne prend pas en compte la bi...
متن کاملUn schéma générique pour intégrer des consistances fortes dans les solveurs de contraintes
Constraint Fig. 4 – Diagramme d’intégration de MaxRPC dans un solveur événementiel. 3.1.3 Heuristiques basées sur le degré des variables. Certaines heuristiques de choix de variables pour les réseaux binaires, comme dom/ddeg ou dom/wdeg, sont liées à la structure du graphe de contraintes. Comme les contraintes C Φ ne sont plus connectées au modèle, elle ne sont plus prises en compte par ces heu...
متن کاملOptimal consistency errors for general shell elements
We obtain estimates for the consistency errors arising in general shell element procedures, which are widely used in engineering practice. These estimates improve a previous result by the same authors. Moreover, numerical experiments indicate that these new estimates are optimal. Further, we introduce a modified procedure for which nominal convergence is recovered. These results are of much pra...
متن کاملSélection Bayésienne de Modèles avec Prior Dépendant des Données
Résumé. Cet article analyse la consistance asymptotique des modèles en grille appliqués à l’estimation de densité jointe de deux variables catégorielles. Les modèles en grille considèrent un partitionnement des valeurs de chacune des variables, le produit Cartésien des partitions formant une grille dont les cellules permettent de résumer la table de contingence des deux variables. Le meilleur m...
متن کامل